ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
41	Contact: Virginia Goldacm Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Paris Kanellakis Award Academia Computing Moshe Y. Vardi ACM SIGACT Paris Kanellakis Pierre Wolper Edmund M. Clarke Brent Hailpern Computer science Year of birth missing Association for Computing Machinery
42	James Aspnes April 30th, 2015 Work address James Aspnes Yale University Department of Computer Science Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2015-04-30 10:34:02 Theoretical computer science ACM SIGACT Computational learning theory Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Distributed computing Michael J. Fischer Nir Shavit Nancy Lynch Computer science Computing Applied mathematics
43	PDF Document Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2013-06-30 21:16:11 ACM SIGACT Science Peer review Academia FO Symposium on Theory of Computing Computer science Theoretical computer science
44	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
45	Organizations, Journals, and Conferences for Geometry and Graphics 1 Organizations Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2013-08-06 05:58:24 ACM SIGACT Theoretical computer science Association for Computing Machinery Eurographics Computational geometry ACM Transactions on Graphics ACM SIGGRAPH Visualization Chandrajit Bajaj Computer graphics Computer science Science
46	Massachusetts Institute of Technology 6.852: Distributed Algorithms Prof. Nancy Lynch Handout 3 February 5, 2008 Add to Reading List Source URL: courses.csail.mit.edu Language: English Fault-tolerant computer systems Distributed computing Concurrency control Dijkstra Prize ACM SIGACT Nir Shavit Nancy Lynch Software transactional memory Maurice Herlihy Concurrent computing Computing Computer science
47	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
48	Richard Ryan Williams Computer Science Department Stanford University, Stanford, CAEmail: EDUCATION Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-09-18 23:56:44 ACM SIGACT Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Ryan Williams Symposium on Foundations of Computer Science Computational complexity theory SWAT and WADS conferences Algorithm Symposium on Parallelism in Algorithms and Architectures Theoretical computer science Computer science Applied mathematics
49	C URRICULUM V ITAE David B. Shmoys 231 Rhodes Hall Cornell University Ithaca, NY9146 Add to Reading List Source URL: people.orie.cornell.edu Language: English - Date: 2015-03-17 17:48:30 Computational complexity theory ACM SIGACT Clifford Stein Approximation algorithm Mathematical optimization Algorithm Combinatorial optimization Computer science Edward G. Coffman Jr. Applied mathematics Theoretical computer science Mathematics
50	Submission Guidelines SIGACT News and SIGACT News Online SIGACT News, the quarterly newsletter of the ACM Special Interest Group on Algorithms and Computation Theory, welcomes contributions of interest to the internation Add to Reading List Source URL: www.sigact.org Language: English - Date: 2004-04-09 13:14:45 Computational geometry Science Theoretical computer science ACM SIGACT Computer science